翻訳と辞書 |
raise specification language : FOLDOC | RAISE Specification Language (RSL) (RAISE = Rigorous Approach to Industrial Software Engineering). A wide-spectrum specification and design language developed by ESPRIT Project 315 at {CRI} A/S, Denmark. Systems may be modular, concurrent and nondeterministic. Specifications may be {applicative} or imperative, explicit or implicit, abstract or concrete. ["The RAISE Specification Language", RAISE Language Group, P-H 1992, ISBN 0-13-752833-7]. (2007-10-02)
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|